受限波兹曼机联合稀疏近似的脑功能检测模型

人脑功能连通性检测是神经科学研究的重要技术．使用受限制波兹曼机（RestrictedBoltzmannMachine,RBM）对大量多被试功能磁共振（functionalMagneticResonanceImaging,fMRI）数据进行建模可以检测人脑功能连接,但是不能有效检测单被试数据的功能连接．本文研究一种新颖的融合了稀疏近似与RBM技术的脑功能连通性检测模型,该模型充分利用fMRI数据的稀疏性,采用稀疏近似理论对fMRI数据进行空间域稀疏近似压缩,然后使用RBM建立模型,以检测脑功能连通性．实验结果表明,该融合模型可以有效地提取单被试数据的脑功能时间域混合模型及其相应的脑功能图谱,解决了RBM在单被试数据分析上的瓶颈．     

水性UV图案化功能涂膜技术研究

研究了一种新型水性UV涂料制备技术,可得到用传统方法无法获得的图案化涂膜。利用扫描电镜、DSC、凝胶渗透色谱等对该图案化聚合物进行分析表征;考察了不同功能添加剂对涂膜形貌的影响;并讨论了光照时间、光引发剂用量与聚合物相对分子质量间的关系。     

A theoretical study of solvent effects on Kolbe-Schmitt reaction kinetics

A theoretical DFT study was employed to confirm the Kolbe-Schmitt reaction mechanism and investigate solvent effects on this reaction. The use of a solvent in the Kolbe-Schmitt reaction is desirable to facilitate a homogeneous reaction mixture and potentially improve the reaction rate. The candidate solvents were designed using computer aided molecular design (CAMD) and tested using DFT solvation calculations. The results from the quantum mechanical calculations were then used to determine the rate constants for each elementary step, the overall reaction yields and the corresponding residence time. The methodology was tested on the reaction without solvent, with solvents reported in the literature, and with the designed solvents. The study revealed that in the presence of solvents with high dielectric constant the reaction becomes reversible, leading to low product yields.     

A new result on the delay‐dependent stability of discrete systems with time‐varying delays

This paper proposes an improvement to the delay‐dependent stability of discrete systems with time‐varying delays. The approach is based on the observation that the positive definiteness of a chosen Lyapunov–Krasovskii functional does not necessarily require all the involved symmetric matrices to be positive definite, which has been overlooked in the literature. The derived delay‐dependent stability conditions are in terms of linear matrix inequalities. It is theoretically proved that our results are less conservative than the corresponding ones obtained by requiring the positive definiteness of all the symmetric matrices in a chosen Lyapunov–Krasovskii functional. The importance of the present approach is that a great number of delay‐dependent analysis and synthesis results obtained by the aforementioned requirement in the literature can be improved by the present approach without introducing any new decision variables. Copyright © 2013 John Wiley & Sons, Ltd.     

Decentralized output feedback stabilization for a class of large‐scale feedforward nonlinear time‐delay systems

This paper is concerned with the decentralized stabilization problem for a class of large‐scale feedforward nonlinear time‐delay systems. The uncertain nonlinearities involved in the systems are assumed to be bounded by continuous functions of the inputs and delayed inputs multiplied by unmeasured states and delayed states. An observer‐based decentralized output feedback control scheme is proposed by using the dynamic gain control design approach. On the basis of the Lyapunov–Krasovskii stability theory, the global asymptotic stability of the closed‐loop control system is proved. Contrary to many existing control designs for feedforward nonlinear systems, the celebrated forwarding design and saturation design are not utilized here. An example is finally given to demonstrate the effectiveness of the proposed design procedure. Copyright © 2013 John Wiley & Sons, Ltd.     

软件安全性检测技术综述

该文阐述了网络软件安全检测的重要性,介绍了现有的主要检测方法,包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。     

Studies on fluorinated polyurethanes by X-ray diffraction and density functional theory calculations with periodic boundary conditions

Thin-film wide-angle X-ray diffraction, small-angle X-ray scattering, and density functional theory calculations using B3LYP hybrid functional with the two-dimensional periodic boundary conditions (2D-PBC) have been applied to study the crystal structures of parent and fluorinated polyurethanes. The crystal structures from 2D-PBC-B3LYP calculation and experiments showed the hard-segment chains within crystallites adopted an extended-chain conformation for polyurethanes. Energetically, the parent polyurethane preferred an alternating hydrogen-bonded sheet structure while the fluorinated one adopted a progressive hydrogen-bonded sheet structure.